if $a$=$b$ then $c$ else $d$ \textbf{is Primitive}